minios: Add noreturn attribute to do_exit
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 17 Jan 2008 14:39:45 +0000 (14:39 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 17 Jan 2008 14:39:45 +0000 (14:39 +0000)
commitcb4baf13a2a271208f20c87457242292ff3a0aba
treeb2ded9a474fc413329e5c39643a097dff1d43633
parentc56fe82b7d3720359e20a101e744d446e1be9d29
minios: Add noreturn attribute to do_exit

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
extras/mini-os/include/ia64/os.h
extras/mini-os/include/x86/os.h